3

An improved error handling method in SNMPv2 protocol operations

Year:
2001
Language:
english
File:
PDF, 356 KB
english, 2001
7

The self-reduction in lambda calculus

Year:
2000
Language:
english
File:
PDF, 93 KB
english, 2000
8

A proof rule for while loop in VDM

Year:
1989
Language:
english
File:
PDF, 226 KB
english, 1989
9

Specification language NUJSL based on JSP and its supporting system

Year:
1992
Language:
english
File:
PDF, 506 KB
english, 1992
15

Architectural issues in network-centric computing

Year:
2002
Language:
english
File:
PDF, 680 KB
english, 2002
16

An adaptive dependability model of component-based software

Year:
2003
Language:
english
File:
PDF, 228 KB
english, 2003
17

Codebugger

Year:
2000
Language:
english
File:
PDF, 605 KB
english, 2000